منابع مشابه
Modular structural operational semantics
Modular SOS (MSOS) is a variant of conventional Structural Operational Semantics (SOS). Using MSOS, the transition rules for each construct of a programming language can be given definitively, once and for all, and do not need reformulation when further constructs are added to the language. MSOS thus provides an exceptionally high degree of modularity in language descriptions, thereby removing ...
متن کاملModular Structural Operational Semantics with Strategies
Strategies are a powerful mechanism to control rule application in rule-based systems. For instance, different transition relations can be defined and then combined by means of strategies, giving rise to an effective tool to define the semantics of programming languages. We have endowed the Maude MSOS Tool (MMT), an executable environment for modular structural operational semantics, with the p...
متن کاملA Modular Structural Operational Semantics for Delimited Continuations
Modular Structural Operational Semantics (MSOS) [25, 26, 27] is a variant of the well-known Structural Operational Semantics (SOS) framework [29]. The principal innovation of MSOS relative to SOS is that it allows the semantics of a programming construct to be specified independently of any semantic entities with which it does not directly interact. For example, function application can be spec...
متن کاملModular Structural Operational Semantics with Strategies ⋆ Christiano Braga
Strategies are a powerful mechanism to control rule application in rule-based systems. For instance, different transition relations can be defined and then combined by means of strategies, giving rise to an effective tool to define the semantics of programming languages. We have endowed the Maude MSOS Tool (MMT), an executable environment for modular structural operational semantics, with the p...
متن کاملGenerating Specialized Interpreters for Modular Structural Operational Semantics
Modular Structural Operational Semantics (MSOS) is a variant of Structural Operational Semantics (SOS). It allows language constructs to be specified independently, such that no reformulation of existing rules in an MSOS specification is required when a language is extended with new constructs and features. Introducing the Prolog MSOS tool, we first recall how to synthesize executable interpret...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Logic and Algebraic Programming
سال: 2004
ISSN: 1567-8326
DOI: 10.1016/j.jlap.2004.03.008